Meetings

Universidad de los Andes, Bogotá, Colombia: The 21st SLALM (Simposio Latino Americano de Lógica Matemática) will be held on June 1-5, 2026 at the Universidad de los Andes in Bogotá, Colombia.

The deadline for non-NSF student travel has been extended to March 13, 2026. Apply by sending an application and recommendation letter (each a page or less) to asl@uconn.edu. More instructions can be found on the ASL's Student Travel page.

The SLALM is the most prominent conference series on logic in Central and South America. Held biannually and conducted in English, it is an official meeting of the Association for Symbolic Logic. The website above gives substantial further information, including the invited plenary and tutorial speakers so far confirmed, as well as special sessions, committees, the tentative schedule, and travel and local information.

Contributed talk submissions are due by December 31. Attendee registration will be open through April 15.

Some NSF support is offered for participants (including students) based in the USA. To inquire about its availability, please e-mail Russell Miller, co-Secretary-Treasurer of the ASL at russell.miller@qc.cuny.edu.

The local organizing committee consists of Alexander Berenstein, Pablo Cubides Kovacsics, and Alf Onshuus.

More information can be found here: https://slalm21.uniandes.edu.co/en/#registration.

Swansea University, Wales, UK: The 2026 Logic Colloquium will be held at Swansea University, June 29 - July 3, 2026, and will be co-located with the British Logic Colloquium.

The plenary speakers are J./ Aguilera, C./ Antos-Kuby, L./ Cohen, S./ Gao, Å./ Hirvonen, T./ Kihara and N./ Pischke. The Gödel Lecturer will be announced soon. Tutorials will be presented by P./ Hieronymi and R./ Santhanam. The meeting includes special sessions in Computability in Analysis; Pure and Applied Proof Theory; History of Logic and Computing; Model Theory; Set Theory; and Type Theory. The local organizing committee consists of Troy Astarte, Arnold Beckmann, Ulrich Berger, Oliver Kullmann, Jay Morgan, Eike Neumann, Arno Pauly, Olga Petrovska, Cecilia Pradic, Monika Seisenberger (chair), Anton Setzer, Mukesh Tiwari, John Tucker, and Manlio Valenti. 

The program committee consists of Albert Atserias (Barcelona), Fernando Ferreira (Lisbon, chair), Anton Freund (Würzburg), Jonathan Kirby (East Anglia), Leszek Kołodziejczyk (Warsaw), Françoise Point (Mons), Gil Sagi (Haifa), Monika Seisenberger (Swansea), Paul Shafer (Leeds), and Boban Velickovic (Paris).

Contributed abstracts are due to asl@uconn.edu by April 1, 2026 and must abide by the rules described here: https://aslonline.org/rules-for-abstracts/.

NSF funding is available for graduate students that are USA citizens, residents, and/or international students enrolled at US universities – applications are due to asl@uconn.edu by March 23, 2026.

Funding is also available for non-US based graduate students and recent PhDs – applications are due to m.seisenberger@swansea.ac.uk and manlio.valenti@swansea.ac.uk by March 23, 2026.

More information can be found here: https://logiccolloquium2026.github.io/.

University of Pennsylvania, Philadelphia, PA, USA: The 2026 ASL North American Annual Meeting will be held at the University of Pennsylvania campus in University City in West Philadelphia, PA, USA from July 19 through July 22, 2026.

The 2026 International Congress of Mathematicians (ICM) will be held at the Pennsylvania Convention Center in Center City Philadelphia July 23-30, 2026. The North American Annual meeting has been officially designated as a Satellite Event to the 2026 ICM.

Invited speakers include W. Brian (UNC Charlotte), V. De Risi (CNRS), J. Kennedy (Helsinki), J. Lutz (Iowa), L. Moss (Indiana), and C. Terry (UIC) with tutorials by N. Ramsey (Notre Dame) and M. Harrison-Trainor (UIC).

There will be special sessions (with organizers in parentheses) in Computability Theory (D. Hirschfeldt and K. Lange), Logic in Computer Science (E. Pimentel and V. Tannen), Model-Theoretic Algebra in memory of Zoé Chatzidakis (B. Castle and F. Jahnke), Proof Theory (M. Rathjen and J. Walsh), and Set Theory (J. Moore and D. Sinapova).

Funding for this meeting will come from the NSF. Student travel applications are due to asl@uconn.edu by April 19, 2026.

For contributed talks, at least one author must be an ASL member. Submissions are due to asl@uconn.edu by April 19, 2026.

The local organizing committee consists of Aaron Anderson (Penn Math), William Ewald (Penn Law, co-chair), Kenneth Gill (La Salle), Giorgi Japaridze (Villanova), Steven Lindell (Haverford CS), Andre Scedrov (Penn Math), Val Tannen (Penn CS), Henry Towsner (Penn Math, co-chair), and Scott Weinstein (Penn Phil). The program committee consists of Rachael Alvir (Waterloo), Paddy Blanchette (Notre Dame), James Cummings (CMU, chair), Maryanthe Malliaris (Chicago), and Andre Scedrov (UPenn).

More information can be found here: https://awainverse.github.io/asl-nam-2026/.